Yin, Liangze: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Lisbon, Portugal (2018.7.16-2018.7.20)] 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Guide Fuzzing with Multi-Factor Potential Analysis

Xu, Luhang, Dong, Wei, Yin, Liangze, Zhong, Qiuxi

Year:

2018

Language:

english

File:

PDF, 120 KB

english, 2018

2

Efficient software product-line model checking using induction and a SAT solver

He, Fei, Gao, Yuan, Yin, Liangze

Journal:

Frontiers of Computer Science

Year:

2018

Language:

english

File:

PDF, 602 KB

english, 2018

3

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Parallel Refinement for Multi-Threaded Program Verification

Yin, Liangze, Dong, Wei, Liu, Wanwei, Wang, Ji

Year:

2019

Language:

english

File:

PDF, 486 KB

english, 2019

4

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - Modeling and Verification of Component-Based Systems with Data Passing Using BIP

Su, Chen, Zhou, Min, Yin, Liangze, Wan, Hai, Gu, Ming

Year:

2013

Language:

english

File:

PDF, 602 KB

english, 2013

5

[IEEE 2013 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Birmingham, United Kingdom (2013.07.1-2013.07.3)] 2013 International Symposium on Theoretical Aspects of Software Engineering - Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information

Yin, Liangze, He, Fei, Gu, Ming

Year:

2013

Language:

english

File:

PDF, 177 KB

english, 2013

6

Maxterm Covering for Satisfiability

Liangze Yin, Fei He, Hung, W.N.N., Xiaoyu Song, Ming Gu

Journal:

IEEE Transactions on Computers

Year:

2012

Language:

english

File:

PDF, 562 KB

english, 2012

7

Expediting Binary Fuzzing with Symbolic Analysis

Xu, Luhang, Yin, Liangze, Dong, Wei, Jia, Weixi, Li, Yongjun

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2018

Language:

english

File:

PDF, 625 KB

english, 2018

8

[IEEE 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Prague, Czech Republic (2017.7.25-2017.7.29)] 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Optimizing Monitor Code Based on Patterns in Runtime Verification

Zhou, Ge, Dong, Wei, Liu, Wanwei, Shi, Hao, Hu, Chi, Yin, Liangze

Year:

2017

Language:

english

File:

PDF, 494 KB

english, 2017

9

[IEEE 2009 WRI International Conference on Communications and Mobile Computing (CMC) - Kunming, Yunnan, China (2009.01.6-2009.01.8)] 2009 WRI International Conference on Communications and Mobile Computing - A Heterogeneous Multicore SoC Optimized for Embedded Visual Media Process

Yan, Ming, Li, Sikun, Shen, Jianliang, Xie, Lei, Liu, Lei, Wan, Guowei, Yin, Liangze

Year:

2009

Language:

english

File:

PDF, 346 KB

english, 2009

10

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Symbolic assume-guarantee reasoning through BDD learning

He, Fei, Wang, Bow-Yaw, Yin, Liangze, Zhu, Lei

Year:

2014

Language:

english

File:

PDF, 510 KB

english, 2014

11

On Scheduling Constraint Abstraction for Multi-Threaded Program Verification

Yin, Liangze, Dong, Wei, Liu, Wanwei, Wang, Ji

Journal:

IEEE Transactions on Software Engineering

Year:

2018

Language:

english

File:

PDF, 2.26 MB

english, 2018

12

[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Component-Based Modeling and Code Synthesis for Cyclic Programs

Zhou, Min, Wan, Hai, Su, Chen, Yin, Liangze, Zhang, Lianyi, He, Fei, Gu, Ming

Year:

2013

Language:

english

File:

PDF, 609 KB

english, 2013

13

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - Reusing Search Tree for Incremental SAT Solving of Temporal Induction

Yin, Liangze, He, Fei, Zhou, Min, Gu, Ming

Year:

2013

Language:

english

File:

PDF, 241 KB

english, 2013

14

[IEEE 2014 19th International Conference on Engineering of Complex Computer Systems (ICECCS) - Tianjin, China (2014.8.4-2014.8.7)] 2014 19th International Conference on Engineering of Complex Computer Systems - Clause Replication and Reuse in Incremental Temporal Induction

Yin, Liangze, He, Fei, Gu, Ming, Sun, Jiaguang

Year:

2014

Language:

english

File:

PDF, 263 KB

english, 2014

15

[ACM Press the 33rd ACM/IEEE International Conference - Montpellier, France (2018.09.03-2018.09.07)] Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018 - Scheduling constraint based abstraction refinement for weak memory models

Yin, Liangze, Dong, Wei, Liu, Wanwei, Wang, Ji

Year:

2018

Language:

english

File:

PDF, 2.17 MB

english, 2018

16

[IEEE 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Prague, Czech Republic (2017.7.25-2017.7.29)] 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Monitor Synthesis for Parametric MTL Properties in Discrete Control Software

Shi, Hao, Dong, Wei, Zhou, Ge, Yin, Liangze

Year:

2017

Language:

english

File:

PDF, 425 KB

english, 2017

17

On Scheduling Constraint Abstraction for Multi-Threaded Program Verification

Yin, Liangze, Dong, Wei, Liu, Wanwei, Wang, Ji

Journal:

IEEE Transactions on Software Engineering

Year:

2018

File:

PDF, 2.26 MB

2018

18

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Modeling and Validation of PLC-Controlled Systems: A Case Study

Wang, Rui, Zhou, Min, Yin, Liangze, Zhang, Lianyi, Sun, Jiaguang, Ming, Gu, Bozga, Marius

Year:

2012

Language:

english

File:

PDF, 461 KB

english, 2012

19

A True-Concurrency Encoding for BMC of Compositional Systems

Yin, Liangze, Dong, Wei, He, Fei, Wang, Ji

Journal:

The Computer Journal

Year:

2017

Language:

english

File:

PDF, 1.00 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски